Graph window titles no longer stack
Fix #59
Added prototype of displaying errors on document save
Removed some deprecated TODOs
Added brief installation guide and some thoughts into user documentation
Create 2014-07-08.txt
Update 2014-07-08.txt
Hopefully fixed different height for graph buttons (cannot confirm it as I am on Windows right now)
Client now uses pagination from server
Columns in object list window are now resizable
Size of object context menu items is hopefully the same everywhere
Graph property prefix unified into one place
Merge branch 'client'
Merge branch 'server-impl'
Removed exception IdNotFound from getProblems operation
More descriptive problems on document saving implemented in client
New relations in Errors Window are displayed in a TreeView
Returned back -Xlint for gradle < 2.0
Suppressed insignificant warning
More systematic solution for displaying new relations  in Errors Window
Added a numbering for a subsubsection and they are shown in the table of contents in UserDocumentation