Stop binder at exit, test binder via in Travis-CI