Add --with-lua-bin and improve documentation of --with-lua