overhauled library

Made the lib more flexible.

Removed client-size error checking for reasons explained in the commit

renamed the python module (stormondemandpy => stormpy)

removed token saving feature... wasn't actually working correctly and I never used it once. If this feature is needed later we can add it then.