Console 1.40 released

- speed improvements
- background painting bugfixes
- improved cursor drawing (now the previous
position is erased)
- text selection got a bit screwed up due to
painting optimizations, fixed
- added change_refresh attribute to <console>
tag; it controls how long window repainting is
delayed after a change is detected in the
real console
- improved window title handling