A set of tools for extracting data from Redmine