New feature: #reverseinclude and a few changes to the option experiments in
optimize.cc


Added #reverseinclude