Use jQuery.datepicker date formatting instead of own code

Conflicts:
	js/config.js
Use jQuery UI for parsing date strings
Use jQuery UI for formatting date strings
Drop no longer needed date.js

Conflicts:
	js/date.js
Include minified versions JS in git of jQuery and jQuery-UI
Drop javascript compression on release time
Add wrapper function for formatting datetime

This makes it easier to use and correctly converts params which
formatTime expects.

Conflicts:
	js/functions.js
Merge pull request #485 from nijel/licensing

Fixed possible licensing issues