Tags: cedille/ial

Update all files to Agda 2.5.4 (only necessary change was compile pra…

…gmas). Fixes #1

git: add .gitignore