Docs testing_in_vagrant: add header sections and make command line codes more readable