Preserve RLIMIT_CORE hard limit, and restore soft limit before exec

Closes #196.

src/crypto/crypto.h

@@ -113,6 +113,7 @@ namespace Crypto {
   };
 
   void disable_dumping_core( void );
+  void reenable_dumping_core( void );
 }
 
 #endif