Genericise the backend interface

All linux-specific code is now in src/backend_linux.ml

Signed-off-by: John Else <john.else@citrix.com>
Fix travis script

Signed-off-by: John Else <john.else@citrix.com>