A suite of tools to develop sometimes-connected mobile applications