Remove documentation project title config option

Nothing in the Nomulus release was using it and it's of questionable utility at
best. Nomulus isn't likely to be renamed at this point anyway.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=141301871

java/google/registry/config/ProductionRegistryConfigExample.java

@@ -148,11 +148,6 @@ public final class ProductionRegistryConfigExample implements RegistryConfig {
     return makeUrl("https://www.registry.example");
   }
 
-  @Override
-  public String getDocumentationProjectTitle() {
-    return "Nomulus";
-  }
-
   @Override
   public int getEppResourceIndexBucketCount() {
     return 997;