rm mention of cogtree dir
emacs: re-config recentf
vagrant: use a ubuntu raring box