Changed functions in tivaif to static
renamed uart_printf and moved most of it outside hal
Removed unused extern in tivaif.h
Removed TODOs that probably are unnecessary

Specifically tweaking burst size and other parameters for ethernet
Also removed TODO to use latest lwip git (already doing that)
Removed debug hooks, as using fxns in driverlib
Added autoloaded .gdbinit
Added load script for openocd
Added NOTES
Added XBHServer files, which were missing previously

Send/receive using socket API instead of directly from interrupts
Added other output code moved from HAL
Added missing header includes required by output
Added htoi implementation
Added wrapper to recv

recv implementation in lwip does not support waitall. This loops
calling recv repeatedly (assuming blocking) to get the specified number
of bytes
Added LWIP_PORT directory to be scanned when
generating tags
Fixed macros in xbh_prot
renamed xbhserver.[ch] to xbh_server.[ch] for consistency