no_code_download_counter 1.0.0

Does nothing. Contains no code whatsoever. Exists only to give a background measurement for download statistics so that one can remove downloads from crater runs and the sort.