Serial prompt fixes.
Serial prompt fixes.

Not showing the serial prompt if no serial ports are available.
Showing the serial prompt for verbose upload, too.


Former-commit-id: 6fa74cf71181dd96be8f6a278eba49f69873ef2d
ricklon/chipKIT32-MAX,tintin304/chipKIT32-MAX,majenkotech/chipKIT32-MAX,ricklon/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,tintin304/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,tintin304/chipKIT32-MAX,ricklon/chipKIT32-MAX,tintin304/chipKIT32-MAX,adamwolf/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,tintin304/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,adamwolf/chipKIT32-MAX,majenkotech/chipKIT32-MAX,adamwolf/chipKIT32-MAX,tintin304/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,ricklon/chipKIT32-MAX,ricklon/chipKIT32-MAX,adamwolf/chipKIT32-MAX,majenkotech/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,adamwolf/chipKIT32-MAX,tintin304/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,adamwolf/chipKIT32-MAX,ricklon/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,majenkotech/chipKIT32-MAX,majenkotech/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,adamwolf/chipKIT32-MAX,majenkotech/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,majenkotech/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,ricklon/chipKIT32-MAX