Although you've got the answer by yourself, I would like to write an answer solving the problem with cellular homology, so that someone who asks the same question can find an answer here. I solved this problem a few month ago in an Algebraic Topology course as an exercise.
Proof:
Let $X = S^1\times S^1/ \sim$ be the space with the identifications:
$$(e^{2\pi i/m}z,x_0)\sim (z,x_0)$$
$$(x_0,e^{2\pi i/n}z)\sim (x_0,z)$$
Like @Berci said, you should imagine this space as a grid of $m$ and $n$ lines, i.e. there are $m$ vertical and $n$ horizontal repititions:
(OK. The picture is not the nicest one, but it's enough to induce an imagination.)
$X$ consists of one 0-cell ($x_0$ is $e_1^0$), two 1-cells ($a$ is $e_1^1$, $b$ is $e_2^1$) and one 2-cell (we all it $e_1^2$).
The attaching map identifies $x\in \partial D_1^2$ with $a^nb^ma^{-n}b^{-m}$.
This implies the cellular chain complex
$$0\to \mathbb{Z}[e_1^2]\overset{\partial_2=0}{\longrightarrow} \mathbb{Z}[a] \oplus\mathbb{Z}[b]\overset{\partial_1=0}{\longrightarrow} \mathbb{Z}[x_0]\to 0.$$
This implies
$$H_p(X) =
\begin{cases}
\mathbb{Z}\mbox{ for } p=0,2 \\
\mathbb{Z}^2\mbox{ for } p=1 \\
0\mbox{ for } p>2
\end{cases}.$$
Otherwise you can just see, that the space $X$ is still a Torus (cf. remark above). So it is not surprising, that we've got the homology group of the Torus.
Torsion elements seem intuitively significant as well as torsion-free elements. But let us start from first principles, finding the conditions under which a chain $c = \sum_{i}a_{i} \sigma_{i} \in C_{n}$ might, in an intuitive sense, be considered equivalent to an n-dimensional hole, and relating these conditions to homology.
Roughly, $c$ is an arrangement of simplices, singular simplices, cells, etc., each of which $\sigma_{i}$ appears $|a_{i}|$ times in a "forwards" orientation if $a_{i}$ is positive and a "reverse" orientation if $a_{i}$ is negative. If this arrangement $c$ is a candidate for being equivalent to a hole, it must be a cycle: that is, an $n$-dimensional chain with no $(n-1)$-dimensional beginning or end. For example, an element of the group of one-dimensional cycles $Z_{1}$ might be a "cyclical" chain of edges with no endpoints, while an element of $Z_{2}$ might be a chain of faces that similarly "goes all the way around" with no outer edge. Now, to evaluate the boundary operator $\partial_{n}:C_{n}\rightarrow C_{n-1}$ at $c$ is essentially to send each $\sigma_{i}$ to the "ending" parts of its $(n-1)$-dimensional boundary, while subtracting the "beginning" parts. Some terms of $\partial_{n}(c)$ might cancel out, as an end of one or more of the $\sigma_{i}$ might be the beginning of another, but for there to be no beginning or end, the terms of $\partial_{n}(c)$ must ultimately sum to zero. Thus the group of cycles $Z_{n}$ is intuitively $\ker(\partial_{n})$.
To show the intuition, then, we should show that quotienting out by $B_{n}=\text{im}(\partial_{n+1})$ gives the particular cycles that are equivalent to "holes" as generators (i.e. members of some choice of generating set) of the resulting homology group $H_{n}=Z_{n}/B_{n}$. While $c \in H_{n}$ is equivalent to the simplest type of hole if it is a torsion-free generator, such as a tunnel shape (like a meridian of a torus) if $n=1$, or a cavity shape (like one sphere in a wedge sum of spheres) if $n=2$, we can also provide some sense of what generators of finite order represent geometrically.
Clearly $c$ is not equivalent to a hole if it is filled by a chain ${c}'$ of dimension $n+1$: that is, if $c = \partial_{n+1}({c}')$, so $c\in B_{n}$ and $c$ is trivial in $H_{n}$. Conversely, $c$ is equivalent to some kind of hole if it alone is not filled by any $(n+1)$-dimensional chain. The simplest kind of hole mentioned above can be considered a cycle no nonzero multiple of which is filled by such a chain. If $c$ is equivalent to one of these holes, then it is a generator of $Z_{n}$ no nonzero multiple of which is in $B_{n}$, and therefore a torsion-free generator of $H_{n}$. Another kind of hole is a cycle that is not filled by a $(n+1)$-dimensional chain, but some multiple of which is so filled; the nontrivial element of $H_{1}(\mathbb{R}\text{P}^{2})$ is this kind. When $c$ is a generator of $Z_{n}$ such that some $k\geq2$ is the lowest positive integer with $kc$ a boundary, and thus a generator of order $k$ of $H_{n}$, it satisfies the intuition for this kind of hole, which we call an order-$k$ hole. The first kind of hole represented by an element of infinite order, following this terminology, is referred to as an order-$\infty$ hole, and an order-$1$ hole is represented by a cycle that does not determine a hole at all.
Recognize that not all elements of $H_{n}$ belong to our chosen generating set, so they are sums of holes just as $C_{n}$ consists of sums of cells or simplices. Also recognize that many cycles could determine the same hole (or sum of holes); take two meridians of a torus, for example. This relationship corresponds with cycles being two different representatives of the same homology class, and thus having their difference (in $Z_{n}$) belonging to $B_{n}$, so their difference is a non-hole and thus negligible from the standpoint of holes.
This notion of order-$k$ holes allows us to more intuitively extend the significance of torsion-free generators to torsion generators under the classical homological conceptualization of a hole as "a cycle that is not a boundary." For $k\geq2$, an order-$k$ hole is "a cycle that is not a boundary but is $\frac{1}{k}$ a boundary." It is $\frac{1}{k}$ filled, so $k$ of it together would be filled. An order-$\infty$ hole is, by extension, "a cycle that is neither a boundary nor a fraction of a boundary". In summary, homology groups count holes and the fractions by which they are filled.
Now on the issue of $0$-dimensional homology, we proceed by analogy. $H_{2}$ measures cavities, or $2$-cycles unfilled by $3$-chains. $H_{1}$ measures tunnels, or $1$-cycles unfilled by $2$-chains. So $H_{0}$ measures gaps, or $0$-cycles unfilled by $1$-chains. One would expect such gaps to be pairs consisting of one beginning point and one endpoint, with the region between them unfilled. The number of gaps, and thus the rank of $H_{0}$, would most intuitively be the number of path-components minus one, as is clear if one "lines up" the path components. But if we take the obvious route and take unreduced homology, we get a torsion-free element of $H_{0}(X)$ even for $X$ path-connected; the reason for this is that all $0$-chains are cycles, including single points that end up representing nontrivial homology classes. Our above intuition suggests that only chains generated by endpoints minus beginning points, or by chains of the form $\sigma-\tau$ with $\sigma$ and $\tau$ individual points, should be cycles, which is true in reduced homology under the new definition of $\partial_{0}$. And the overall effect of replacing $H_{0}$ with $\tilde{H}_{0}$ is felicitous, quotienting out by the "guaranteed" extra torsion-free element to produce a group of desired rank.
EDIT July 18 2015: This answer cites a book by John Stillwell providing an explanation for the torsion of homology groups similar to the one I have given.
Best Answer
Let's restrict ourselves to orientable spaces that are homotopic to CW complexes. In low dimensions, there is a very intuitive way to think of homology groups. Basically, the rank of the $n$-th dimensional homology group is the number of $n$-dimensional “holes” the space has. As you stated in your example, for $H_0$, this is counting connected components. Moving to $H_1$, we are counting literal holes. The torus has $H_1\cong \mathbb Z \oplus \mathbb Z$ since it has two holes, one inside and one outside.
You can think of a 2-dimensional hole as an empty volume. The best analogy I’ve heard is to think of your space as an inflatable object. The rank of the second homology group is the number of different plugs you’d need to blow air into to inflate it. The torus has one empty volume, so you’d only need one plug to inflate it. If you take the wedge of two 2-spheres, you’d need two different plug to inflate it, one for each empty volume, so it has rank 2.
As is usual in topology, we now wave our hands and say “it works the same for higher dimensions.”