dev-build.py: remove semi-broken CC/CFLAGS processing

It ignored the fact that we now sometimes compile a C file,
and I sometimes had trouble with it so I'd stopped using it in favor
of directly passing -DCMAKE_* anyway.
dev-build.py: pass through VERBOSE=1 and -j* to `make`