Extract Platform repository informations from "platform.ini" (#129)

Fix for #129.