bashrc: rename a couple of ImgLib2 repos

They were changed to be more consistent with their respective package
prefixes.