Version 0.2.101

• First tarball release
• CTL model checking functionality is complete (some advanced features are still in development)