Remove custom treeless pipeline #36
Description
We had to copy an entire Agda module because the treeless pipeline was unreliable (agda/agda#7691). It has since been fixed (thanks @hsyl20!), so once there's a new release we should just use that again.