Rigid Cohomology over Laurent Series Fields