fixed div and mod folding
Merge branch 'dev' of github.com:djrieger/mjplusplus into dev

Conflicts:
	src/firm_interface/visitors/MemberVisitor.cpp
Merge branch 'dev' of github.com:djrieger/mjplusplus into dev