Empire mining settings

* Modified mining settings stored procedures to use text identifiers
instead of numeric identifiers

* Added DAO for mining settings and controller for resource operations

* Added UpdateEmpireMiningSettingsCommand and associated command
delegate. The command always returns NullResponse.

* Overview page templates split into multiple files for clarity, added
priority update form to the empire economy view and associated web
server handler

legacyworlds-web-beans/src/main/java/com/deepclone/lw/web/csess/PlayerSession.java

@@ -85,6 +85,19 @@ public class PlayerSession
 	}
 
 
+	/**
+	 * Send an {@link UpdateEmpireMiningSettingsCommand} to the server
+	 * 
+	 * @param miningSettings
+	 *            the mining settings
+	 */
+	public void updateEmpireMiningSettings( Map< String , Integer > miningSettings )
+			throws SessionException , SessionServerException , SessionMaintenanceException
+	{
+		this.execute( new UpdateEmpireMiningSettingsCommand( miningSettings ) );
+	}
+
+
 	/* Planet list */
 
 	public ListPlanetsResponse listPlanets( )