On the cycle polytope of a binary matroid