(eudc-query-form): Ditto. (eudc-save-options): Also save the current server (eudc-set-server): New optional argument to save the current server for future sessions or not