Yeah, when I was doing more of that sort of thing I'd generally use ISE or Vivado on a big Ubuntu server and VNC or X-forward it to my machine (the X forwarding could be a bit janky with Vivado but it was OK for getting things going in a pinch).