Server: Rename flag SERVER_SIGTERM_EXIT to SERVER_GRACEFUL_EXIT

Other signals (at least SIGINT) should get caught, too, so the name
doesn't really fit.
Server: Gracefully terminate on SIGINT in addition to SIGTERM

This allows the LUNA server to properly react when the user presses
Ctrl+C.