Changed version number from 0.7 to 0.71. Modified also some make rules to build documentation and example programs.
Changed version number from 0.7 to 0.71. Modified also some make rules
to build documentation and example programs.


ekiwi/jade-mirror,ekiwi/jade-mirror,ekiwi/jade-mirror,ekiwi/jade-mirror