Code

configure.ac: bumped version number to 0.13~git