I don't know if they're fit to be included in src/. In any case, it shouldn't be too hard to build a port/ out of it. There is absolutely no problem in including this in the ports tree...