We no longer need base_distributed.  And thanks to #939, this was easy!
Merge pull request #977 from bcipolli/kill_base_distributed

We no longer need base_distributed.  And thanks to #939, this was easy!