Add ample theme, fix ensime use-package stuff.