Add BitString typeclass instance for BigInteger and BigInt

[rklaehn]

This would probably be best done together with #498

[denisrosset]

Problem: BitString has a width, while BigInteger and BigInt do not. Then it is difficult to interpret negative big integers as bit strings!