Budspencer theme improvements

- prompt line enumeration implemented
- new function to set the window title
- new session history
- README file updated