added num_workers to nbconfig, with auto option