I think the closest thing we have to documentation might be this thread:
The SWD port can also be used to debug the board. If you do decide to go this route I can dig up the openocd commands you need to program the board.