Port makefiles to Linux (while still supporting Windows)
-rw-r--r-- 53 .gitattributes
-rw-r--r-- 134 .gitignore
drwxr-xr-x - hacky-stuff
lrwxrwxrwx 9 mk -> time-make
-rw-r--r-- 418 setenv
drwxr-xr-x - src
-rwxr-xr-x 242 time-make
-rwxr-xr-x 81 time-make-all