Introduced option to serialize parameters and result detail in json during trace 

I introduced json option for trace detail, and the example usage is:

trace -d -j Main.test
or
trace -d --json Main.test

The current trace detail are logged by using toString() method. In some situation, it can't describe everything we want to see. And it also required to change the source code when we want to change the output. 

To make the detail output more useful, we need to print the FULL object, and json is a pretty good format for this purpose.

I chose "json-io" because it can handle circle reference by default. I also added a test for that.

There are several other changes: 
1. I could not run sbt compile until I upgrade sbt.version to 0.12.4
2. I disabled sbt-idea and sbteclipse-plugin because I could not find them

Please contact me if any problem. Thanks.