Merge pull request #15 from pnathan/master

Online merge testing GH merge.
Untabified; fixed a few formatting bugs; added note to LW page
Resolved conflicts
Reformulating bottom matter.

- Shifted footer around.
- Now shows the git version of the compiled system
- Moved credits to who page.
Moving lambda around, allowing it to be huge.

"I'm huge in the lambda calculus"

Anyway, I think it's prettier like this. It also has sort of a diamond
shape at the bottom on my monitor now.