adding pinoccio to platforms.js closes #2