Add support for specifying PRAGMA values as JDBC url query parameters

[gitblit]

This adds support for specifying PRAGMA values as JDBC url query parameters which is quite useful for runtime-based settings within an application.

The idea is to extract recognized PRAGMA values from the filename and inject them into the properties object which is used to build SQLiteConfig. The filename is sanitized during extraction so that the underlying DB engine receives just the filename with optional, standard URI parameters.

jdbc:sqlite:file:mytest.db?journal_mode=wal&synchronous=off

[xerial]

If there is a possibility to allow duplicate parameters in URL, this should be ArrayList. What do you think?

[xerial]

Good idea. I added comments for minor improvements.

[gitblit]

The pragmaSet is there to quickly confirm that an url parameter is a PRAGMA. It doesn't have anything to do with allowing/disallowing pragma duplication.

Url pragmas that are already in the the Properties object are now ignored. For example, getConnection(String, Properties) can override a url-specified pragma by manually settting it into the Properties object. I think this is what other developers would expect. This same mechanism is used to ignore duplicate pragma values in the url. The url parameters are now processed in reverse order to ensure that the last-specified value is used.

All other review points have been addressed.

[xerial]

Looks good!