Adding 3rd Party Boards to Arduino 1.5.x

Thanks for sharing
It can indeed do some work but it is good enough or a first release.
best regards
Jantje