#103 Fix tests of Universe type system casts

[Gary T. Leavens]

I added 3 tests to the skip file of
org/multijava/mjc/testcase/universes/runtime because
they gave errors under cygwin.

Something should eventually be done with these tests.

I'm not sure exactly what these tests involve.

But for runtime tests, one possibility is to use jUnit
directly. If these are tests of compiler error messages,
then use the normal testing utilities, as in JML's
org/jmlspecs/checker/testcase/typecheck directory.

[Gary T. Leavens]

Logged In: YES
user_id=633675

This still seems to be a problem on Cygwin. The output of
each is different in that the

Exception in thread "main"

comes out after the stack backtrace, and the backtrace has
the Windows cr-lf convention line endings.

It might be that additional flushing of a buffer would
prevent the different orderings, and then the line ending
problem could be solved in another call to sed in the
Makefile.