Mamba is a file and full text search indexer for integration in IDEs/Editors