qc: Move helper instanes to Extra_Arbitrary module

These should eventually make their way upstream.
qc: Fix range of arbitrary_uint{16,32,64}

Previously these were only generating maximum values of 2^(n + 1) - 2.
qc: Add serveral instances for SDN_Types
qc: fix bug in arbitrary_uint48 from refactor
Update author list to something more accurate
ran oasis setup
Removed PingTest and fixed stupid _oasis conflict

PingTest was an early test that demonstated fast failover in action. It is
no longer needed. The real problem is that both PingTest and Test were
in the same directory but had different dependencies: PingTest required
Lwt and Test did not. But, since the _tags file adds dependencies by path,
Test would get linked to lwt even though it was not specified in the
_oasis file.

This is really terrible.

@seliopou you might enjoy the awful that is above
Revert "Removed PingTest and fixed stupid _oasis conflict"

This reverts commit 485838f5074355eb4be3ae736b00a79c26f0ee79.
moved ping-test to its own directory
Merge pull request #84 from frenetic-lang/lwt-conflict

Removed PingTest and fixed stupid _oasis conflict
opam-street: use cached .opam (Closes #66)

Rather than rebuilding the Jane Street libraries and cstruct for each
build, this commit will use a pickled .opam directory containing those
prebuilt libraries and copy that in place.

This has been tested using seliopou/frenetic.

See seliopou/opam-street to see how the picked opam is created.
Merge pull request #85 from frenetic-lang/opam-street

use cached .opam
qc: Give arbitrary modules better names
Merge pull request #77 from frenetic-lang/authors

Conflicts:
	setup.ml
qc: Add arbitrary instance for uint64
Merge branch 'master' into qc-range

Conflicts:
	_oasis
	quickcheck/Arbitrary_OpenFlow0x01.mli
	quickcheck/quickcheck.mllib
	setup.ml
Merge pull request #64 from frenetic-lang/qc-range

QuickCheck Reorg and Range Expansion
switch_id: Use int64 for switchId type

A switch id is 64 bits across protocol versions, so just use that.
Merge pull request #86 from frenetic-lang/switch_id

Use int64 for switchId type