PropSat constructor modification

variable set never empty (has solver.ONE by default)
Propagator simplifications

- code refactoring
- remove useless arguments in constructor
- calls forcePropagate(CUSTOM) by default
- more javadoc
- remove environment var (use solver.getEnv...)