SolutionVisualizer can now reload maps from a file if the file's last modified timestamp changes.

Added more javadocs to IceMap. Cleaned up IceMapSolver. Refactoring and clean-up in SolutionVisualizer.