Add stacktrace filtering/navigation from middleware.

Update documentation for stacktrace filtering/navigation.

Update face names and doc strings for clarity.

Add cider-stacktrace group. Tidy up.
Merge pull request #521 from jeffvalk/master

Allow more control of stacktrace formatting.
Fix section name