add pagination and filtering to machines

The machines in flexigrid can be sorted and
filtered.

Working on #10