Versioner - Algorithmic aspects of resource allocation and multiwinner voting: theory and experiments