Migrate to SQL Server, update commands and add FmTools processing See merge request xstrach/sv-comp!4