(doc+lua) corrected launch/config documentation
(dbtool) added pipe mode

to make it somewhat more efficient to run multiple commands against
the database tool, one can specify arcan_db dbname - to have it
process a command-line format from STDIN.

Linefeed separates commands, tab separates arguments.