Added support for GCC_ARM
Support for exporting to GCC_ARM
Merge branch 'lpc4088' of git://github.com/arebert/mbed into arebert-lpc4088

Conflicts:
	workspace_tools/export/gccarm.py