Switch to processing arguments as options and values

This is more extensible and safer in the face of Linux kernel bugs.

Always append .core to the core filename for safety.