frama-c-script build : option --no-source-filter et oracles stables

See merge request frama-c/frama-c!4443