new feature: configuration file for external sn /etc/devsn.cfg, filled with line AAANNNNN, AAA is version classifier, NNNNN is dev #