rename metalib dir
update metalib to https://github.com/plclub/metalib
update to coq 8.4
emacs/coq convenience