core/models: add Repository.is_development_repository()

Identifying development repositories is important to know when a package
is going away (because it's no longer in any development repository).

Signed-off-by: Raphaël Hertzog <hertzog@debian.org>