Merge pull request #7 from gaydov/develop

Fix eproject configuration.
Remove unused function declaration.
Add interesting tool to take a look for generating compile_commands.json.
Give the TUManager in the plugins' constructors.
Merge branch 'develop' of github.com:Sarcasm/irony-mode into develop

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
Merge remote-tracking branch 'upstream/develop' into develop