Automatic testing

[cojocar]

Because vmchecker is used in several places and because this is at least good practice, we should think on how we can enable automatic testing.

[razvand]

Fully agree on this. I will strive to invest some time during the summer to organize the project and schedule the integration of something like continuous integration.