Temporarily load proof general.

Want to load proof general with package.el.