updated docker to use verbose build (so that it doesn't appear to hang on "make" for several seconds while it builds), and added more files in dodoc that're useful