Update battery icon names
Make CtrlP ignore agda files