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