Update platonus repository address.
Merge branch 'hotfix/repo-address'