Fix a bug that caused the last addin repository's name to not be saved.
Allow Pinta to use Mono.Addins 1.0 in addition to Mono.Addins 0.6.

This fixes build failures on newer distros which use newer versions of
Mono.Addins, such as Ubuntu 14.04.