ottimizzazione -O3, indici per il db ora sono std::vector
Merge branch 'master' of https://github.com/rantonels/macchina

Ho scordato di fare pull. git è difficile