Flagstate: an index server for containers