Румен Петков: Мандатоносителят трябва да реши дали ДПС да влезе официално в управляващата коалиция