updated platforms, and updated ant file to tinyos make v3