Backend pseudoterminal support.
Assignment downloading bugfix.
Generating bytecode files with seashell-cli bugfix.
Skeleton file list CGI script updated.
Build tools to simplify installation.
Various other bugfixes.