Add exercises for Brutal Metaintroduction to Agda
Fix Makefile clean