Fixing docs: add x86/libopentok.so instructions