tweak make defaults

make now builds release binaries (std constants, no debug, no race detector). make install is now make dev, which builds dev binaries (dev constants, debug, race detector).