Cycle algebras and polytopes of matroids