Removed unused method for creating bitvector and floating-point literals out of a string.
The string was parsed by the solver and thus was solver-specific
and undocumented.

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