Added semihosting, updated readme name