Print the date when finishing builds in the logs
In the build logs we currently add a line Starting build: $time
. However we don't write the time when the build was finished. Doing this would allow us to see how much time the build took. We can maybe also write the time the build took (so we don't have to calculate it ourselves).