This convenience function parses a configuration value into a positive
integer.  It aborts if parsing fails.