Merge pull request #3 from PhilArmstrong/master

Add determinism to libcspm
Make deter an external and add a test.
Throw an error if prioritise(…, <>) is called.
Fix a missing case in the splitIntoFields function.
Fix the timed version of replicated sequential composition.
Implement WAIT in Timed Sections.
Fix a lexer error with a channel colon followed by a newline.
Fix unification of Yieldable with dots.
Fix a check for values outside of the given range sets.

Lazy evaluation catching me out!
Fix a bug in the timed CSP TimedPrefix scoping.
Fix the type of productions.
Add another test for generic typed processes.
Fix calls to extensions where the result is already a dot list.
Fix evalTypeList where the argument of a TDotable is a TDotable.
Fix evalTypeList for more complex cases.
Correctly handle non-recursively rectangular datatype and channels.

I'm not really sure we should allow these, but FDR2 does, and I can see
why we need to support something like them.
Add prioritise_nocache.
Add support for another type of dot list in the typechecker.

This is an easy one to support, thankfully.
Make the timed function optional in timed sections.
Add hipchat notifications.