Bump debug symbol level up to 3.

Now use -g3 in compiler command line to get the highest level of symbols.  This
lets the user give commands such as the following to GDB, which use #defines:
  (gdb) p LPC_TIM0
  $1 = (LPC_TIM_TypeDef *) 0x40004000
  (gdb) p LPC_TIM0->TC
  $2 = 0
Merge remote-tracking branch 'origin/working' into working
Update to revision 50 of the mbed SDK.
Update to version 0.4-20121123-1 of MRI debug monitor.
Update to 4.6-2012-q4-update of GNU Tool for ARM Embedded tool chain.

This commit also updates the Mac OS X installer to properly install this newer
version of the GNU tool chain.
NOTE: I haven't updated the installers for Linux or Windows yet.

This commit also adds a sync command to the default LPC_DEPLOY used by
build shell scripts.  This causes the build to keep control of the console
during a deploy until the copy command has completed.
README changes to document update 4.6-2012-q4-update GNU tools and mbed SDK revision 50.

Also point to branch which contains previous version.
Build output is now less verbose.

Can set VERBOSE environment/make variable to 1 to switch back to old verbose
output format.
Update mbed SDK to revision 53.
Allow user's makefile to specify additional compiler/assembler flags.

Can now use GPFLAGS, GCFLAGS, AS_GCFLAGS, and AS_FLAGS to specify additional
command line flags to be used when building C++, C, .S, and .s source files
respectively.
Initial attempt to get install scripts working for Windows and Linux.

NOTE: There are UNDONE's to remove in Linux script and the Windows version
will require appropriate binaries.  That will come later when I can actually
pull down these changes and test on the appropriate platforms.
Clean up linux_install scripts.
Update to use GCC ARM Embedded 4.7-2012-q4-major.

Only working for OS X at this time.  Future commits will update the scripts to
install this latest set of GNU tools for Linux and Windows as well.

Changes include:
Updated mac_install script to pull down the pre-built OS X binaries now
available from launchpad.net site rather than versions built on my personal
Macintosh.  I do still update the GDB binaries to include patches that I have
made to use non-blocking I/O on OS X so that it works better with the virtual
USB serial port provided by the mbed interface chip.

Added NO_FLOAT_SCANF and NO_FLOAT_PRINTF make variable support.  These
variables allow for smaller versions of scanf() and printf( to be pulled in if
your application doesn't require floating point number support from these
functions.  This reduces the size of the resulting binary by several kilobytes.
Remove size optimized newlib libraries.

With the latest GNU tools, we use the nano newlib instead.
Update HelloWorld, Blink, and Ticker project makefiles to reduce binary size.

Updated makefiles for these projects to take advantage of the NO_FLOAT_SCANF
and NO_FLOAT_PRINTF variables to not explicitly pull in floating point
enabled versions of printf() and scanf().
Initial attempt to update linux_install script.

NOTE: Yet to be pulled down and tested on my Ubuntu environment.
Initial version of TCPSocket_HelloWorld sample.

As exported from http://mbed.org/users/mbed_official/code/TCPSocket_HelloWorld/
after upgrading to latest EthernetInterface and mbed-rtos sources.

NOTE: This version doesn't work with gcc4mbed but will be modified in upcoming
      commit to do so.
Update to latest Socket library as well.
Updated TCPSocket_HelloWorld sample to work with gcc4mbed.

The biggest change was to software_init_hook() to properly fill in the
stack size and initial stack pointer when creating the intial main thread.
Add TCPSocket_HelloWorld to the build list.
Fix md5 hash in Linux install script.