Move the implementation for replacing bitvectors with rationals/integers
to the FormulaManagerView package,
such that we do not need the subpackage "replacing" anymore.
Previously, we had a double-layered wrapping around the SMT solver:
first, the wrapping from the package "replacing",
and second, the wrapping from the package "view".
Now this is reduced to one layer that does everything.
This results in less code,
and an easier-to-understand structure

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14291 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c