Sythesizer based on precomputed XAG NPN4 database.

Sythesizer based on precomputed NPN4 database was added. В целом постарался код привести в порядок. Есть некоторая неуверенность в корректности названий проходов для нового синтезатора. Сгенерированную базу разместил в папке src/data/databases (весит 76 kB). В класс базы данных добавил поле (k) -- количество аргументов у хранящихся в базе Subnet'ов (чтобы знать, к таблице истинности от скольких переменных приводить).