github: additionally ask for log files on build problems and questions