Delete libavl originals

They have been of dubious necessity for some time, and now that I
have the tavl/ library, they're clearly redundant.