An SBT plugin for publishing wiki pages through WikiRPC