Further fixing of mikeh's merge.   Also, config files for different platforms is now working.  This is very new so it is going to need some more work.  Right now TinyG and ArduinoDUE configs exist and work. (sort of)