Add long version of Fair Reactive Programming

Includes the full reduction steps and proofs referenced from pages 8 and 10 of the short version. 'Official' link from authors homepage (http://cs.mcgill.ca/~acave1/)
Merge pull request #25 from kjgorman/patch-1

Add long version of Fair Reactive Programming