WATCH_TARGET to specify the targets to watch

Currently, `make watch` tries to auto-update all target documents in the directory. Introduce `WATCH_TARGET` to watch only for specific files.

Example:
```shell
make watch WATCH_TARGET=foo.pdf
```