Libctl: New formula

Closes #1341.