Remove cortex-m-semihosting CI

The current repository CI was copied from cortex-m-semihosting, so it is
not relevant to this one. In the future, it may be worthwhile to add
some proper CI for this repo.