Software livre no governo Lula