V1.2.0

• [update] support english web interface
• [update] add gzip for js and css in nginx.conf
• [bugfix] not rebuild judge pool if all judge are dead