Remove the --dont-inline-include-files option and associated code

The option is not needed anymore, include file un-inlining works pretty
well now, so it can be the default and there is no need to turn it off.