Make git ignore autogenerated files, and move obsolete impl. to obsolete/.