add command-line entry point for stormpy binary
add command-line entry point for stormpy binary

scrapinghub/streamparse,msmakhlouf/streamparse,msmakhlouf/streamparse,eric7j/streamparse,petchat/streamparse,crohling/streamparse,crohling/streamparse,scrapinghub/streamparse,hodgesds/streamparse,petchat/streamparse,hodgesds/streamparse,petchat/streamparse,msmakhlouf/streamparse,Parsely/streamparse,scrapinghub/streamparse,scrapinghub/streamparse,codywilbourn/streamparse,codywilbourn/streamparse,petchat/streamparse,msmakhlouf/streamparse,msmakhlouf/streamparse,phanib4u/streamparse,petchat/streamparse,Parsely/streamparse,eric7j/streamparse,phanib4u/streamparse,scrapinghub/streamparse