Add basic tracing support
Remove extensions section
Use 'info' middleware for Javadoc.
Merge pull request #545 from jeffvalk/master

Use 'info' middleware for Javadoc.
Use 'info' middleware for 'doc' function and fontify.
Merge pull request #547 from jeffvalk/master

Use 'info' middleware for 'doc' function and fontify.
Add cider-jack-in-with-profile