semihost: add semihost library
platform: add semihosting enable option for stm32p103
gitignore: ignore mylog
travis: update default config for stm32p103