Adding a Mono version

Today's update includes some version compiled for Linux.

Transaction Profiling

Today's update fixes some mathematical functions that the parser didn't recognise, and makes some improvements to threading.
There is also some new support for transaction profiling, to be discussed in a paper I am writing.