Ignore default JavaDoc directory

Eclipse defaults to putting generated HTML JavaDoc documentation into
the 'doc/' sub directory, therefore we shouldn't track this.