Releasing 0.8.0

Added enhanced filtering for agenda view, filter by file, tags or todo
state, or a combination of these. Updated documents.