Fix bug in destructor.
Remove several warnings.
Merge branch 'master' of https://github.com/veltri/DLV2