add option button, infeasible page changes

add option button now outside of option-list, simplifying handling.
modified styling on option-list and dm views to improve display.
substituted 'dm-list' for 'dmList', for better consistency.
new distinct option template to be used for cases where a yes/no on an
option is required (state description).
bug fix

fixed a bug where options would not be dropped properly when a DM was
removed from the conflict.