Add some bitvector rules

This moves #31 forward!

added 10 commits

• ea883bf2 - 1 commit from branch master
• 41cc39b8 - Add overview description of bitblasting rules and bvexplode
• a8bff734 - Update and expand the bit blasting section
• 11c64b2e - Finish bitblasting function description section
• 09f3e612 - defining bitblasting rules
• 6b8582ba - fixes
• 9461e5f9 - adding rules for bvult and bvadd
• f081142f - Bitblasting: adapt notation
• c234c12a - Add bitvector rules list
• 826f644f - Update changelog: bitvector rules

Compare with previous version

enabled an automatic merge when the pipeline for 826f644f succeeds

mentioned in commit fe460131

merged