Portgroup github is introduced.

Portgroup github is introduced. Now the latest source on GitHub cen be
built. This version is based on the commit
8d6cf43082a0b78ba9ba7e7f7822ed7d4951101a on Mar. 23, 2013.