Add a validator on the package names in the SARL files (issue #46).