Make the platforms.txt and boards.txt files arduino 1.5x compatible. This removes the ::