htfy96

Staging version of https://github.com/sjtug/lug used in mirrors-docker

The caddy server used in mirrors-docker

Non-official build of Souper super-optimizer: https://github.com/google/souper

Docker image required to build sjtu-ai-go series, including boost, clang, g++-5, protobuf-3

lug - Extensible backend of Software Mirror

C++ runner with g++-5, clang3.8, valgrind, make, cmake, git, etc.

extensible software mirror frontend+backend