Add a switch to suspend and resume the dump.

Fixes #377
Useful when reading a SRTM tile which needs the also reading of the
geoid that use SimpleTile.getElevationAtIndices method, which is dumped,
and lead to wrongly dump geoid data.

src/main/java/org/orekit/rugged/errors/DumpManager.java

@@ -42,6 +42,7 @@ import org.orekit.time.AbsoluteDate;
  * time, so user code should not rely on it.
  * </p>
  * @author Luc Maisonobe
+ * @author Guylaine Prat
  */
 public class DumpManager {