Source code for the dockerized Android debug symbols server