Merge branch 'bitvectors' into 'master'

Bit vectors: propagation and simple tests

The propagation for the logic operators' subset of bv is done. Adding two files, no serious change to other files.

See merge request !3