Add VT100 commands to readline. This fully solves issue #2. This allos to remove readline from the cc3200 port and use the stmhal version instead