Removed IRlib submodule -- hopefully properly this time