Remove build hacks and fortify Makefiles

`%link` works correctly in new Idris, yay!
Add toplevel makefile
Remove LockLang attempts
Rename envRead to envLookup
Further progress on report