small change in _oasis about doc
move the demo program resolution.ml into resolution1.ml;
build its documentation (wip, need to keep code and all that)