makefile changes and headers for the testWS example in ThingML