Updated manual for OSX Mavericks
Updated user manual to OpenOCD-0.8.0