add URL for machine-readable source as a new property of HProject, including UI changes