add instructions for configuring Emacs on Ubutuntu 14.04
add instructions for configuring Emacs on Ubutuntu 14.04

soonhokong/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,fpvandoorn/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,soonhokong/leanprover.github.io,avigad/leanprover.github.io,fpvandoorn/leanprover.github.io,avigad/leanprover.github.io,fpvandoorn/leanprover.github.io,soonhokong/leanprover.github.io