* Blunt move and sed rename * Rename common/ refs to typing * Rename internal stuff in eduserver * Rename docs and scripts * Rename constants/filenames, goimports everything to re-order imports
Signed-off-by: Víctor Cuadrado Juan <me@viccuad.me>
Signed-off-by: Konstantinos Sideris <sideris.konstantin@gmail.com>