First commit from a LAAS machine
Some correction on vim plugin for comments