upgrading to ubuntu 18.04#142

giffordjoe wants to merge 1 commit into

bmwcarit:masterbmwcarit/barefoot:masterfrom

giffordjoe:updating-dockergiffordjoe/barefoot:updating-dockerCopy head branch name to clipboard