Save the pid of the repository server to a file so we can later easyliy kill it. Added target to kill the repository after we are done with building.