sqlite: add regexp extension