Revert "logging checker execution time"

This reverts commit 8309ed154ea7e530b93dc4cb6940578d23c3171a.
# fix default chain in doc
example for thins farm
# fix thins example
# in thin example show how load file
# fix delete all apps
# logging pid in debug send_command
# improve main example
dsl with_server behaves like scoped
Merge branch 'master' into 0.3