Updated output tools. Finally fixes #1
Proper main launch. Seems to introduce a bug with proba notation, reproduce with 10*1q10+1q10, checking on it...
improved logging. fixes #2
cosmetic; updated usage string with -- which fixes #7
going into rc0!