Git ignore generated files in platforms folder