a bookmarking system for the bash shell