Configure GenePattern server

[Nicklas Nordborg]

Each user must be able to configure which GenePattern server to use and the login/password required to access it.

It would be nice for a user to specify several servers and then be able to select which one to use for a certain calculation. One of the servers could be marked as default.

I think this can go into the Extensions menu in a similar fashion as for the MeV launcher.

[Nicklas Nordborg]

(In [1102]) Fixes #221: Configure GenePattern server

[Nicklas Nordborg]

It will not work to store the GenePattern options with SessionControl.setUserClientSetting() since those settings are only available in the web client and not available when executing the a plug-in. In principle it should work to use SessionControl.setUserDefaultSetting() instead, but there is a problem that the settings are not written to the database until the user logs out which means that new and modified GenePattern server settings are not visible to the plug-in unless the user first logs out and then log in again.

[Nicklas Nordborg]

(In [1108]) Fixes #221: Configure GenePattern server

The settings are now saved to the databas as user default settings.

[Nicklas Nordborg]

(In [1117]) References #221: Configure GenePattern server

Changed the AJAX calls to a new servlet. Now requires BASE 2.13 since that depends on new functionality in BASE.

[Nicklas Nordborg]

(In [1126]) References #221: Configure GenePattern server

Added field for URL to BASE. This seems to be the easiest way to let the plug-in know about the BASE web server. Also moved the "test" button back to it's previous location.