Tag for Francescos paper

Merge pull request #122 from wenqing/clang-format

Clang format for some files and a new tag of 5.8

Merge pull request #107 from Thomas-TK/debug_master

$EPSILON in the bc-file can replace the automatically calculated search length

update version info for 5.7.1

Package only on master branch.