Several fixes to the QueueManager in particular when jobs are killed.
Removed a number of obsolete functions.
(1) A few style changes. (2) Added fclose to a function that used fopen without closing the resource later on.

TODO: This class needs a major clean-up.
Fixed broken killing/removing jobs from the queue.
Cleaned spurious characters in Database.inc.php.
Bug fix in the check of the return value of strpos() in Shell.inc.php.
(1) Added support for the new Zeiss file format (czi). (2) Increased the database revision to '11'.
Removed weird characters which were automatically introduced by an editor and which yield PHP warnings.
(1) Added support for the new Zeiss file format (czi). (2) Increased the database revision to '11'.
Added explicit disconnection from domain controllers to ActiveDirectory.
Simplified changes made in previous commits to make sure that the LDAP connections are closed properly.
Corrected a blank too many in an entry of the 'file_extension' table. This database change will be part of revision 11 together with the addition of the CZI file format.
Removed a trim() call as explained in TODO #106.
Also remove TIFF-RGB as possible output format when working with time series.
(1) Increased version number to 3.0.3. (2) Fixed a string concatenation warned by Apache because the string was not initialized.
Increased version number.
Enlarged the link text "Go to detailed results" so that it's a bit more visible.
Removed some control (non-printable) characters.
Merge branch 'devel'