Added skeleton for diffing purposes, the tools do not allow for
multiple files
Create README.md

Added the readme file for github
lights examples added
Added mcrl22bool file (only works on linux/mac)

usage: $ mcrl22bool mcrlfile formula
Example: $mcrl22bool bridge.mcrl2 "<true>true"
cleanup