Give (De)kryptos its own repo