Issue #369 raspberrypi tools folder fixed and Issue #370 support cross platform linux builds.
Issue #369 raspberrypi tools folder fixed and Issue #370 support cross platform linux builds.


Former-commit-id: 06e29dc0b98143135d700c535f28ed39d76708c0
chipKIT32/chipKIT32-MAX,ricklon/chipKIT32-MAX,ricklon/chipKIT32-MAX,adamwolf/chipKIT32-MAX,adamwolf/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,adamwolf/chipKIT32-MAX,ricklon/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,tintin304/chipKIT32-MAX,ricklon/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,ricklon/chipKIT32-MAX,tintin304/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,tintin304/chipKIT32-MAX,adamwolf/chipKIT32-MAX,adamwolf/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,ricklon/chipKIT32-MAX,tintin304/chipKIT32-MAX,ricklon/chipKIT32-MAX,tintin304/chipKIT32-MAX,majenkotech/chipKIT32-MAX,adamwolf/chipKIT32-MAX,adamwolf/chipKIT32-MAX,majenkotech/chipKIT32-MAX,majenkotech/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,majenkotech/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,tintin304/chipKIT32-MAX,tintin304/chipKIT32-MAX,majenkotech/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,majenkotech/chipKIT32-MAX,majenkotech/chipKIT32-MAX