beremiz

file isExecutable
Add information how to make shelve command work with check_source.sh called from hg hook

and added coresponding flag handling in check_source.sh
<xsd:attribute name="Command" type="xsd:string" use="optional" default="make -C %(buildpath)s all BEREMIZSRC=%(src)s BEREMIZCFLAGS=%(cflags)s MD5=%(md5)s USE_BEREMIZ=1 FROM_BEREMIZ=1"/>