Fix assorted issues found by FindBugs.
Merge remote-tracking branch 'origin/master' into find-bugs

Conflicts:
	src/org/ggp/base/apps/kiosk/Kiosk.java
	src/org/ggp/base/apps/kiosk/games/ConnectFourCanvas.java
	src/org/ggp/base/apps/kiosk/games/GoldenRectangleCanvas.java
	src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm.java
	src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm_Test.java
	src/org/ggp/base/util/game/LocalGameRepository.java
	src/org/ggp/base/util/presence/PlayerPresenceManager.java
Merge branch 'master' of https://github.com/ggp-org/ggp-base into find-bugs
Performance and correctness fixes for some OPNF optimizations.
Rewrite removeUnreachableBasesAndInputs for correctness and performance.

The new version fixes a few correctness bugs with the results, and runs
in less time than the propnet generation takes for all games tested.
Merge pull request #40 from ggp-org/static-validator

Improve validator warning handling; add new warning to StaticValidator.
Merge pull request #41 from ggp-org/opnf

OPNF perf improvements and bug fixes
replace jtidy with validator.nu htmlparser

jtidy only really accepts late 20th century html and has several
unfixed isues (like not being thread safe) that make its use in a
server process undesirable.

The validator.nu parser implements the latest HTML5 specification and
so allows a far greater flexibility in visualization stylesheets.

The only problem is that several existing games rely on the fact that
jtidy moves ill-places style elements into the document head where
they belong, so that behaviour had to be reimplemented.
add htmlparser license document
add svg rendering to visualizations
remove hard coded dimensions
Merge pull request #42 from fhars/visualization-updates

Visualization updates
Merge pull request #34 from ggp-org/find-bugs

Fix assorted issues found by FindBugs.
use only one thread for rendering visualizations
use the same user agent throughout the lifetime of the server

This keeps the image cache and considerably speeds up rendering.  And
since all rendering is done in a synchronized method anyway, this
introduces no concurrency issues.
better margin handling
Merge pull request #43 from fhars/visualization-updates

Visualization updates
Add new libraries to the build.xml file.
Merge branch 'master' of https://github.com/ggp-org/ggp-base.git
Get rid of some deprecated targets in the build.xml file.