Written small perl script to convert boards.txt into individual boards, and converted all Arduino boards