* .smt .cvc .smt2 detection
* fixing static build registration (by including all the plugins)