Remove unused ci profile that used deleted plugin

app/pom.xml

@@ -87,31 +87,6 @@
   </build>
 
   <profiles>
-    <profile>
-      <id>ci</id>
-      <build>
-        <plugins>
-          <plugin>
-            <groupId>com.github.github</groupId>
-            <artifactId>downloads-maven-plugin</artifactId>
-            <version>0.5</version>
-            <configuration>
-              <description>${project.name} ${project.version}</description>
-              <override>true</override>
-              <includeAttached>false</includeAttached>
-            </configuration>
-            <executions>
-              <execution>
-                <goals>
-                  <goal>upload</goal>
-                </goals>
-                <phase>install</phase>
-              </execution>
-            </executions>
-          </plugin>
-        </plugins>
-      </build>
-    </profile>
     <profile>
       <id>release</id>
       <!-- via this activation the profile is automatically used when the