added time tools, Vagrant highlighting