Roper Technologies is buying the federal market research and government contractor software firm from private equity firm Thoma Bravo.