~ three lingering references to \textbf{optional} flag on validate
rm .gitignore
Merge branch 'master' of https://github.com/weso/shexpaper

Conflicts:
	RuleML/document.pdf
	RuleML/document.synctex.gz