Budget proposal says using Gmail and other Google productivity tools could save $1.9 million annually.