Handle Multiple repositories

[christophe-g]

A rapid first go for the dashboard to be able fetch packages from multiple repositories ;

Changes in the configuration

We go from old config :

<settings>
        <repository>http://demo.exist-db.org/exist/apps/public-repo</repository>
</settings>

To something like:

<settings>
    <repositories>
        <repository active="true" default="true">
            <label>exist-db public repo</label>
            <url>http://demo.exist-db.org/exist/apps/public-repo</url>
        </repository>
        <repository active="true" >
            <label>my public public repo</label>
            <url>http://localhost:8088/app/public-repo</url>
        </repository>
    </repositories>
</settings>

Repositories are not taken into consideration when the active attribute= 'false'
The default repository (exist-db public repository) need either to be the first one, or have the default attribute set to 'true'.

Users can see which repositories are activated at the back of eXist front icon :

Hope this does not break anything as it is not yet comprehensively tested ; )
Cheers,
C.

[adamretter]

@windauer @JoernT any updates please?

[JoernT]

i'd like to pick that up for the next generation dashboard that i hope to publish very soon on github.

[dizzzz]

@JoernT is this part of the new app ?

[joewiz]

@christophe-g Thank you for this submission, and I'm sorry it wasn't acted on. Development energies have shifted to dashboard 2.0, so while I am closing this PR I am preserving the idea in #75.