Grand reorganization: combine instructions into less files

in particular, move all git stuff into one place.