Bookmarks and code editor fixes

Next and previous bookmark buttons implemented
Some debugger session updates.
Code editor IP highlightion.