Former Democratic presidential candidate Mike Gravel joins the Libertarian Party. (h/t Chris Kelly)