Add a make target that gets all submodules
Add dependency paths for byte compiling some files
Remove the broken agda-mode

I don't use Agda and the submodule revision johnw referenced does not
compile cleanly, agda-mode.el has mismatched parenthesis.