$C^\infty$-algebraic geometry with corners