Merge pull request #475 from PeterBjuhr/sessions

Session specific include paths - wip
Merge pull request #476 from PeterBjuhr/sessions

Session specific include paths wip
[issue #470 - session specific include paths] adding replace checkbox

Give user option to replace or add to global paths.
[issue #470 - session specific include paths] adapt documentinfo to new session settings