Add the new tags and to our Javadoc documentation.
By default, these are unfortunately hidden.
<link href="https://google.github.io/truth/api/latest/"/>
<link href="https://sosy-lab.github.io/java-common-lib/api/"/>
<doctitle><![CDATA[<h1>${ant.project.name}</h1>]]></doctitle>
+ <tag name="apiNote" description="API Note:"/>
+ <tag name="implSpec" description="Implementation Requirements:"/>
+ <tag name="implNote" description="Implementation Note:"/>
</javadoc>
</target>
