A Redmine plugin to add a menu to overall activity page