Include Paths Not Working in Local Checking Mode

Even when we specify include directory with pragma 

```
{-@ LIQUID "-i /home/rjhala/research/liquid/liquidhaskell/benchmarks/vector-algorithms-0.5.4.2" @-}
```


even though running from command line seems fine:

```
liquid -i /home/rjhala/research/liquid/liquidhaskell/benchmarks/vector-algorithms-0.5.4.2/ resources/sandbox/1382724821.hs
```
