Create complex_numbers.dol

This is the first attempt at creating two theories - one with an ordered closed field, and one with a one-dimensional vector space. The blend is computed automatically by Hets - this is a good start, but lots of work still to do.