made configure script BSD compatible

Signed-off-by: Sigurd Schneider <sigurd.schneider@cs.uni-saarland.de>
Make configure.sh robust against emacs temporary files.
Have approximation as statement in ValueOpt logic.
Remove 2 admits (amend to last commit).