GitLab

* .gitignore: Remove leim/changed.misc, leim/changed.tit,
as these files are no longer created.  Add gmon.out, for
-pg profiling.  Sort.