Create module for examples and other classes to run benchmarks

This branch creates a module for examples. Although this version contains a couple of examples of bit vectors, it does not measure their times yet.