lean2

feat(bin/lmake): add lmake lmake tries to find a makefile in the current working-directory or its ancestors and invoke the makefile if found. If a makefile is not found, it calls lean directly. This is also used for flycheck-lean. Usage: $ lmake $ lmake all $ lmake clean $ lmake basic $ lmake basic.lean $ lmake /home/user/projects/lean/library/.../basic.lean $ lmake --flyinfo --flycheck basic 2014-08-04 22:11:37 +00:00			`lean`
			`lean.exe`
feat(bin/six.py): add six 1.9.0 (Python 2 and 3 compatibility utilities) 2015-01-20 22:48:10 +00:00			`six.pyc`