[NUCLEO_F401RE] Fix compilation error with error.h include file
[NUCLEO_F302R8] Add F302R8 in workspace_tools python files
Merge branch 'master' of git://github.com/bcostm/mbed into bcostm-master

Conflicts:
	workspace_tools/targets.py