Metrics are now collected in build-inside-vm.sh since the files in question are in the work directory. Implements #101 and #111.