pull haxtuple version of readme to master
Merge pull request #433 from gilmoskowitz/hax2014ReadmeToMaster

pull haxtuple version of readme to master