sqlite3: update to 3.8.4.2
Merge pull request #9885 from clemensg/sqlite3_update_3842

sqlite3: update to 3.8.4.2