More patches in Makefile, Gates better aligned
typo in Makefile
Align Circuit.lagda