Allow mysql to use NullPool

If pool_size is set to None, then NullPool should be used.