GitHub #288: New agent option 'inclnolocationclasses'

With the new agent option 'inclnolocationclasses' classes without source
location can be optionally included. This helps to retrieve code
coverage for environments like Android where no source location is
provided at runtime.
diff --git a/org.jacoco.doc/docroot/doc/agent.html b/org.jacoco.doc/docroot/doc/agent.html
index 0710bce..bca6f77 100644
--- a/org.jacoco.doc/docroot/doc/agent.html
+++ b/org.jacoco.doc/docroot/doc/agent.html
@@ -125,6 +125,14 @@
       <td><code>false</code></td>
     </tr>
     <tr>
+      <td><code>inclnolocationclasses</code></td>
+      <td>Specifies whether also classes without a source location should be
+          instrumented. Normally such classes are generated at runtime e.g. by
+          mocking frameworks and are therefore excluded by default. 
+      </td>
+      <td><code>false</code></td>
+    </tr>
+    <tr>
       <td><code>sessionid</code></td>
       <td>A session identifier that is written with the execution data. Without
           this parameter a random identifier is created by the agent.