delete empty file
fix some mistakes and omissions in documentation

liblua5.2-dev does not depend on liblua5.2, surprisingly (at least in
ubuntu); both are needed. Other changes are self-explanatory.