Properties.xml format

[kolovos]

It'd be useful to revisit the format of properties.xml before we start getting external users. For example, the following

  <monitoredVCS class="set">
    <string-array>
      <string>file:///Users/.../myhawk-indexed/</string>
      <string>org.hawk.localfolder.LocalFolder</string>
    </string-array>
  </monitoredVCS>

could be restructured as:

  <monitoredVCS>
      <type>org.hawk.localfolder.LocalFolder</type>
      <location>file:///Users/.../myhawk-indexed/</location>
  </monitoredVCS>

We should also come up with a more generic name for monitoredVCS (e.g. "monitored"/"indexed"?) as Hawk can also monitor local folders, Eclipse workspaces etc.

[agarciadom]

We'd also need to consider having arbitrary key/value pairs for repository-specific options or backend-specific options.