Seperate things for propety from arbitrary module

* Create prop module and move execute and run methods from arbitrary module.
* Seperate the feature to output from run method (into util/PrettyPrinter).
Keep the backward compatibility

* Add 'run' into Prop and 'result' into PropRunner
* Use test codes before modification as much as I can
Modify 'case_arbitrary.py' to run test collectly
Move information to output verbosely from 'prop' into 'util'

* Remove all of 'verbose' from 'prop' module
* Add procedures to output 'verbose' into 'PrettyPrinter' in 'util' module
Change version of distribute from 0.6.34 to 0.7.3
Modify `.travis.yaml` to add `sudo` command to the line to call `pip`
Use setuplools==7.0 and konira without dependency on distribute
Merge pull request #11 from Gab-km/introduceProp

Refactoring and redesigning