Exactly one year after buying GitHub for $7.5 billion, Microsoft has now purchased Pull Panda to beef up the software development platform with more collaborative tools. The financial terms of the ...