Fix comment formatting for diffopt
Add sessions/ to .gitignore