Various bug fixes

- Handle Pervasives namespace correctly
- Better handling of exit and completion bindings.
Implement colors.
Small cleanup and doc.