changed BitVector#toDigits to return the leading 0s
changed bitvector representation to <bitwidth>'<value>
added missing BuiltinBitVectorOperations#ne
Merge pull request #332 from andreistefanescu/master

minor fixes to the machine integers