Remove documentation, now resides on github pages