ObjectMapper configuration should apply when pretty printing

[tsegismont]

Follows-up on #5060

Since the pretty mapper is deprecated, any customization of the object mapper should be used when pretty printing with Json.encodePrettily.

[magicprinc]

It is better to use a customized DefaultPrettyPrinter:

objectMapper.setDefaultPrettyPrinter(new Pretty());// .writerWithDefaultPrettyPrinter()


private static final class Pretty extends DefaultPrettyPrinter {
  public Pretty (DefaultPrettyPrinter base){
    super(base);  
    fix();
  }

  Pretty (){
    fix();
  }

  private void fix (){
    _objectFieldValueSeparatorWithSpaces = ": ";// otherwise: "propertyName" : 1 < extra space before :
    _objectIndenter = new DefaultIndenter("  ", "\n");// 2 spaces (no changes), LF (vs \r\n on Windows)
  }

  @Override
  public DefaultPrettyPrinter createInstance (){
    return new Pretty(this);
  }
}

[magicprinc]

io.vertx.core.json.jackson.DatabindCodec#mapper must be created with JacksonCodec#factory (with HybridJacksonPool