Make it possible to use arbitrary make goals in Makefile header, rendered as buttons

[matentzn]

Right now we can only declare PHONY goals in the root Makefile as buttons. It would be nice if we could

a) have non-phony goals as buttons
b) have goals in extended (included) makefiles referenced

This will help to create custom workflows for ontologies.

[jamesaoverton]

1. This is already part of DROID. In the Workflow section, if you just specify a file inside backticks, DROID will run Make to ensure the file is built and up-to-date. In other words you just write 'foo.txt' not 'make foo.txt' (always in backticks). Files are rendered as links, not buttons. Please try it to confirm.

2. DROID does not yet follow Make's 'import' declarations, but I guess it should.

[jamesaoverton]

New issue covering 2: #143

If 1 is already covered please close this issue. Otherwise let me know what behaviour you want.

[matentzn]

This is already part of DROID. In the Workflow section, if you just specify a file inside backticks, DROID will run Make to ensure the file is built and up-to-date. In other words you just write 'foo.txt' not 'make foo.txt' (always in backticks)

@anitacaron can you check that (1) you dont need to add the make and (2) that when you use backticks without the make (foo.txt), DROID does not open another tab?

Files are rendered as links, not buttons.

For now this is ok of course. I was mainly concerned about the fact that when make foo.txt was used, a new window was opened, instead of behaving analogously to when you click on a button.