Merge pull request #453 from jpdeplaix/master

Add BatOption.some
Explicitly remove preprocessed files instead of using "git clean" while executing "make clean"