v0.5

• First beta-stage release. Only mildly fit for human consumption!
• Finalised CPi interpreter, compiler, and analysis tools.
• Efficient signal-based model checker.