Updates of repository section and update to ISAcreator 1.7.1 dependency.