Usage: php migrate_sqlite_to_mysql_full_php7.php --sqlite=FILE [--mysql_host=HOST] [--mysql_db=DB] [--mysql_user=USER] [--mysql_pass=PASS] [--batch=500] [--dump=dump.sql] [--drop] [--tables=tbl1,tbl2] [--verbose] [--state=state.json] [--resume]