Fix formating on Graph Object

Add "asJSON" method and fixed print method to format graph nicely;
Generate Random Graph

Ability to generate graph
Random Flips

Added documentations.
Added ability to flip random node.
Fix Miner Code

Fix Miner code
Merge pull request #3 from mikrasov/WebBranch

Added post request file,
Added Apache Lib to master
Fixed Syntax on PRequest
More Efficient Graph Representation

Folded graph into singular BitSet (before was array of BitSets).
Added compare to , equality.

Stub for Isomorph checking, function not yet implemented
Early implementations of bank
Class Stubs for mine, and Miners

Mine - client code we will deploy on machines
Miners - individual threads that mine counter examples
each "Mine" can have multiple "Miner"s
Add value for default master IP
Revert "Add value for default master IP"

This reverts commit 47d766f4303e865dbaa20b1cfb6ea0dab6a6b87f.
Renamed Dir Structure

Dropped my domain name from package names as it did not belong there.
Merge pull request #4 from mikrasov/WebBranch

Added basic_POST_maven
Async Mine

Code for asynchronous mine, that posts solution to a server.
Linked Up Server & Clients

Clients can now post to server
Added ability to save solution

Bank now saves solutions to disk as it recieves them
Synchronized Bank

Bank now blocks on access (for multiple request processing)
Added Full System Testing Class
Foreman Saves Results of Mine

Foreman now saves the solutions mines find