Adding jokes to the jokes.json API should be easier,

right now, if people are adding jokes to the same joke-index concurrently,

only one PR can be merged, the rest would show a merge conflict,

which is tedious.