Fix build.sh script

+ remove deprecated code
Fix push.sh script

+ push only current branch
+ valid number of arguments
bugfix: checking boost library

+ on systems where boost library  have no extension (is called simply
  libboost_system.so) m4 scripts wasn't albe to find anything
Merge branch 'master' into devel