bash plugin: bashmarks