initial libtins formula

We can only build the test, not run it, because that would require
bpf and network permissions, which aren't setup on jenkins