We might not need `IgnoreToken` anymore

[brendt]

This used to be added in order to prevent collisions between blade comment {{-- and deletion tags {{-, but I think this has been fixed in another way now, and we can get rid of this part.