Merge pull request #13 from krlmlr/export-head

export HEAD instead of master; necessary for developing with branches
Merge pull request #14 from krlmlr/vignettes

new switch -V for skipping time-consuming vignette build
Merge remote-tracking branch 'muxspace/master' into develop