Changed vagrant bootstrap to use a file to determine the BOINC repo
revision. If file is missing, master is used.