Changed how semihosting is handled. my_printf has been removed, since printf is handled transparently now. Also enabled floating point formatting in printf.