save/restore cursor and scroll position while renumbering
merge/move BASIC examples files
nicer colors