Second alpha release

Added the following features for users:

• Support for throughput unlimited proof
• Paste via Ctrl+V of blueprint strings

Added the following features for developers:

• Added Relaxed and Blocked models
• Button for saving the IR graph to an .svg file
• Some documentation

Note

Windows executable will be available soon.