changed version numbering (separate stable and dev versions)