improved vagrantd output grepper + time measurement