Announcing Racket Bitvectors (bv)

Announcing a new racket package bv for manipulating bitvectors with a rosette-style API.