Extra "dot" at the end of course number

[yifeili98]

In the output of PortalFetch, all courses that have a numeric ending of crse will have a trailing dot, while the ones having alphabetic endings won't have the dot. We might need to fix it before the initial demo.