Several checker-related changes

- added ParamsExecutable for passing additional arguments
- added dependencies to Executable
- improved (?) the checker library
- merged subtask checker for wormup into the global checker