nova: Remove extra Ec constructor declaration

This constructor was initially meant to be implemented by students in
task 12, but it's probably simpler to let them implement everything in
Ec::syscall_handler().

Closes #167