First, that old site is not any version of WordPress.
Second, don’t hack TwentyTwelve, make a child theme. if you hack it, your changes will be lost when the theme is updated.
Third, the easiest way to achieve pagination like that would be WP-PageNavi.