Updated to the new lean Makefile
Merge branch 'master' of https://github.com/JanHenryNystrom/jhn_stdlib_props