add randomman.lua script to read a random manpage