Minor formatting changes, and a few functional changes. We can now compile with libraries with Arduino-builder with Arduino hourly build. However, some chipKIT boards still fail to compile, but the compile process goes WAY further now.
Minor formatting changes, and a few functional changes. We can now compile with libraries with Arduino-builder with Arduino hourly build. However, some chipKIT boards still fail to compile, but the compile process goes WAY further now.

adamwolf/chipKIT-core,EmbeddedMan/chipKIT-core,pontech/chipKIT-core,adamwolf/chipKIT-core,adamwolf/chipKIT-core,pontech/chipKIT-core,pontech/chipKIT-core,majenkotech/chipKIT-core,ricklon/chipKIT-core,majenkotech/chipKIT-core,adamwolf/chipKIT-core,EmbeddedMan/chipKIT-core,chipKIT32/chipkit-core,adamwolf/chipKIT-core,majenkotech/chipKIT-core,majenkotech/chipKIT-core,chipKIT32/chipkit-core,EmbeddedMan/chipKIT-core,chipKIT32/chipkit-core,adamwolf/chipKIT-core,EmbeddedMan/chipKIT-core,adamwolf/chipKIT-core,majenkotech/chipKIT-core,pontech/chipKIT-core,ricklon/chipKIT-core,majenkotech/chipKIT-core,ricklon/chipKIT-core,pontech/chipKIT-core,chipKIT32/chipkit-core,EmbeddedMan/chipKIT-core,EmbeddedMan/chipKIT-core,ricklon/chipKIT-core,pontech/chipKIT-core,ricklon/chipKIT-core,majenkotech/chipKIT-core,pontech/chipKIT-core,chipKIT32/chipkit-core,ricklon/chipKIT-core,EmbeddedMan/chipKIT-core