Changes to the CoqIde part