Jakarta regexp has been officially retired, and nothing in nixpkgs uses it, so let’s get rid of it.