Add maxdumpper config variable.

This allows one to specify the maximum size of dumps as a percentage
of the available dump space.  Useful if your target devices have
variable size and you want to err on the smaller size.