Notes about loading and evaluating packages
Merge branch 'gh-pages' of https://github.com/dtkaplan/CVC into gh-pages