spidermonkey: move /usr/bin/js17-config to devel package