cleanup beintlive_t

- Remove value_dominates_intrablock()/value_strictly_dominates_intrablock()
  and use sched_comes_before() instead
- Use bool instead of int return types.
- Assert that we don't check if a node interferes with itself as that is
  nearly always a bug in the code.
remove beintlive_t header

Move the values interfere function to belive.h, move the inline
implementation into belive.c
remove lv argument from be_values_interfere

We query liveness from the irg on demand now.
bespillslots: small cleanups in my_values_interfere, support Sync cascades
bespillslots: move memory value interference check to belive
extract be_value_live_after() from be_values_interfere()

Value live_after() is a special case of the checks performed in
values_interfere(). This commit extracts this code and use the new function
where possible.
improve old comment
introduce const_memory opcode flag and is_irn_const_memory()
use is_irn_const_memory() in ldstopt/funccall
rework const/pure/has_loop function attributes, cleanup funccall ana

- We have no_write, pure and terminates now (terminates instead of
  has_loop means that more flags is more specific information, so the
  fixpoint algos are less confusing)
- funccall ana also detects noreturn attribute now (but isn't optimizing
  it)
remove duality of mode_P_data and mode_P_code and just use mode_P
enable index/search engine in doxygen docs