travis: Build stmhal/ST32F4DISC and teensy in Travis tests.