convert ARTIQ repository name to lowercase