Revert "Remove the dead corkscrew header files too."

This reverts commit ddbdae8c3f24a6e5afb3b45bf73cdad3dae9abaa.
Revert "Remove libcorkscrew."

This reverts commit 688a8a7232ff1f1be1ab077072deadb6f4c71eef.