posix.lua: add posix.openpty