Allow to change name of remote dist-git repo in tito.props