Merge branch 'develop' into Funcard

Conflicts:
	.gitignore
	core/connections.c
	targets/linux/drivers/target.h
	targets/mbed_ethernet/drivers/eth_output.c