Pass specifications file when call PCx.

Now you can pass the specification file when call PCx using

    $ ./PCx -s specification_file mpsfile

It is very usefull when you have to change the specifications a lot.