Modified teensy upload procedure to use teensy_post_compile and
teensy_reboot (bundled with Teensyduino), as defined in the boards.txt.
Extend search path for tool binaries

Otherwise arm-none-eabi-gcc can not be found for Teensy models.
Fixing support for menu option in ino.ini (_parseMenu was not handling
an already split list properly)