Create Java Properties highlighter

As I discovered while reading the HTML docs, INI file syntax is
different enough from property file syntax to cause visible
highlighter problems, particularly with comments (INI uses ;,
properties uses # or !).  This commits adds a basic properties file
highlighter and changes the [source,ini] declarations above properties
snippets to [source,properties].
Updating obsolete config filenames in docs
WIP rewrite of type/schema management docs

Updated the property key and edge label definition documentation to
address the introduction of TitanManagement/ManagementSystem,
Cardinality, and Multiplicity.

Added a table explaining the Multiplicity effects; I basically just
copied the javadoc for Multiplicity enum values and tried to put them
in a pretty layout.  Added a [NOTE] block pointing out the difference
between SIPMLE and ONE2ONE, which IMHO is not immediately obvious.
Added [NOTE] blocks reminders to call `make()` and to commit the
management system when defining types.  Updated the examples for
defining pkeys/elabels & examples for retrieving and iterating over
types.  Added a new example showing sortKey/sortOrder on property
keys.

I moved the documentation on type definition to the "Using Titan"
section from the "Mangement" section.  I think schema definition is
interesting from the user standpoint, and I'd like to see the
management section become more about server administration,
deployment, integration with other software, etc -- the operational
side.

This commit leaves undone some important stuff in the type
documentation, such as:

* documenting the new method of creating indices with
  TitanManagement/ManagementSystem

* documenting the new way of expressing uniqueness through an argument
  to the index creation method

* a migration guide (not too fancy -- maybe a table or bulleted list)
  showing equivalents of old 0.4 type creation idioms in the new 0.5
  API

I also left several TODO comments where I'd like to fact-check the
docs or expand an example.
Adjust [NOTE] block margins in docs