#180 encrypted scriptformat

[Lennart]

This patch add the scriptformat 'encrypted' which will simply encrypts
the scriptfile using DES.

Usage:
1) set scriptformat to encrypted:
SET SCRIPTFORMAT ENCRYPTED;

2) add a key in your jdbc url:
jdbc:hsqldb:file:data/database/script;key=12345678

The key should be 8 ASCII characters.

[Lennart]

Diff vs 1.7.3

[Nobody/Anonymous]

Logged In: NO

Why still use DES? I'm not sure if DES is the best encryption algorithm to
use. Blowfish could be a better alternative for example. Blowfish is
supposed to be faster and by allowing a variable key length (32 to 448 bits,
DES is 56 bits) it is less vulnerable to brute force attacks.

[Lieven Doclo]

Logged In: YES
user_id=1246380

Actually... it has been changed now, when we have some spare
time, we'll upload the Blowfish version